Ch8: Diagonalization
Reference in Theorem 14
Created with OneNote.